package MinePumpSystem;

import MinePumpSystem.Environment;

public class MinePump {
	public void stopSystem() {
		if (pumpRunning) {
			deactivatePump();
		}
		assert !pumpRunning;
		systemActive = false;
	}
}
